Topological Dualities in Semantics
نویسندگان
چکیده
255 Samenvatting (in Dutch) 257
منابع مشابه
Functorial semantics of topological theories
Following the categorical approach to universal algebra through algebraic theories, proposed by F.~W.~Lawvere in his PhD thesis, this paper aims at introducing a similar setting for general topology. The cornerstone of the new framework is the notion of emph{categorically-algebraic} (emph{catalg}) emph{topological theory}, whose models induce a category of topological structures. We introduce t...
متن کاملSTONE DUALITY FOR R0-ALGEBRAS WITH INTERNAL STATES
$Rsb{0}$-algebras, which were proved to be equivalent to Esteva and Godo's NM-algebras modelled by Fodor's nilpotent minimum t-norm, are the equivalent algebraic semantics of the left-continuous t-norm based fuzzy logic firstly introduced by Guo-jun Wang in the mid 1990s.In this paper, we first establish a Stone duality for the category of MV-skeletons of $Rsb{0}$-algebras and the category of t...
متن کاملDualities for modal N4-lattices
We introduce a new Priestley-style topological duality for N4-lattices, which are the algebraic counterpart of paraconsistent Nelson logic. Our duality differs from the existing one, due to S. Odintsov, in that we only rely on Esakia duality for Heyting algebras and not on the duality for De Morgan algebras of Cornish and Fowler. A major advantage of our approach is that we obtain a simple desc...
متن کاملOn the Worldsheet Derivation of Large N Dualities for the Superstring
Large N topological string dualities have led to a class of proposed open/closed dual-ities for superstrings. In the topological string context, the worldsheet derivation of these dualities has already been given. In this paper we take the first step in deriving the full ten-dimensional superstring dualities by showing how the dualities arise on the superstring worldsheet at the level of F term...
متن کاملCategorical Duality Theory: With Applications to Domains, Convexity, and the Distribution Monad
Utilising and expanding concepts from categorical topology and algebra, we contrive a moderately general theory of dualities between algebraic, point-free spaces and set-theoretical, point-set spaces, which encompasses infinitary Stone dualities, such as the well-known duality between frames (aka. locales) and topological spaces, and a duality between σ-complete Boolean algebras and measurable ...
متن کامل